退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:有色petri网 - 一种分布式系统设计与分析的语用形式化方法
Kjeld Høyer Mortensen;
机译:借助彩色Petri网对分布式系统消息序列图进行分析和验证
机译:用彩色Petri网分析机电系统
机译:有色Petri网与临界系统B方法的联合发展。
机译:分布式系统的结构化令牌形式化扩展彩色Petri网
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:彩色Petri网用于生物系统的多层次多尺度和多维建模
机译:教学彩色培养网 - 一种温和地介绍了分布式系统课程中的正式方法
机译:用有色petri网建模环境系统。
机译:自适应Petri网图实时求解多核单芯片系统中分布式计算的程序硬件环境诊断方法
机译:用于设计分布式MIMO网络的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。